QED Logic